package MP.staticchecker;

public class RealType extends NumericType {
	public String toString(){
		return "real";
	}
	public String getJVMType(){
		return "F";
	}
}